1. The design of logical machines
پدیدآورنده : Florine, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction,، Electronic circuit design-- Data processing,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
F5613
2. Topics in engineering logic
پدیدآورنده : Madler, Morton.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic digital computers-- Design and construction,، Logic, Symbolic and mathematical
رده :
TK
7888
.
3
.
N3
1962